Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
301	Microarchitecture verification by Compositional Model Checking Ranjit Jhala1? and Kenneth L. McMillan2 1 University of California at Berkeley Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:22
302	Proving Safety with Acceleration and Bounded Model Checking ¨ Add to Reading List Source URL: www.georg.weissenbacher.name - Date: 2015-06-26 11:12:52
303	Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark stud Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:16
304	First-order Model Checking on Generalisations of Pushdown Graphs Alexander Kartzow Universit¨ at Leipzig Add to Reading List Source URL: www.kartzow.de Language: English - Date: 2015-02-23 08:48:44
305	Verification of an Implementation of Tomasulo’s Algorithm by Compositional Model Checking K. L. McMillan Cadence Berkeley Labs 2001 Addison St., 3rd floor Berkeley, CA Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:38
306	Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research Center Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:56
307	First-Order Model Checking on Generalisations of Pushdown Graphs Add to Reading List Source URL: www.kartzow.de Language: German - Date: 2015-02-23 08:47:51
308	Verification of Tree-Processing Programs via Higher-Order Model Checking Hiroshi Unno, Naoshi Tabuchi, and Naoki Kobayashi Tohoku University Abstract. We propose a new method to verify that a higher-order, treeprocessin Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2010-11-22 00:46:21
309	[12] D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conference on Computer Aided Verification, LNCS 818, 377–390, A. Pnueli. The temporal logic of programs. 18th Symposium Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:41
310	Model Checking for π-Calculus Using Proof Search Alwen Tiu INRIA Lorraine 615 rue du Jardin BotaniqueVillers-l`es-Nancy, France Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2006-01-18 20:52:47

UPDATE